退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用概率模型检查对Kaminsky DNS缓存中毒攻击进行形式化分析
Nikolaos Alexiou; Stylianos Basagiannis; Panagiotis Katsaros; Tushar Deshpande; Scott A. Smolka;
机译:概率模型检查正式分析劣化影响问题
机译:通过统计模型检查对概率SystemC模型进行形式验证
机译:使用模型检查对Ariadne安全路由协议进行形式化安全分析
机译:使用概率模型检查对DNS攻击进行形式化分析及其对策。
机译:利用概率模型检验设计和分析DNA链置换设备
机译:利用概率模型检验正式分析DNs带宽放大攻击及其对策
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。